#define POS_INTEGER 257
#define NEG_INTEGER 258
#define ZERO 259
#define P 260
#define CNF 261
#define YYERRCODE 256
